Coq Proof Assistant – alle Bücher

Ihre Suche nach "Coq Proof Assistant" ergab 1 Treffer

The French School of Programming

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors inc…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 197,13*

Artikel merken

In den Warenkorb

Menge ändern